On Simulations and Bisimulations of General Flow Systems
نویسندگان
چکیده
We introduce a notion of bisimulation equivalence between general flow systems, which include discrete, continuous and hybrid systems, and compare it with similar notions in the literature. The interest in the proposed notion is based on our main result, that the temporal logic GFL – an extension to general flows of the well-known computation tree logic CTL – is semantically preserved by this equivalence.
منابع مشابه
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For that we show how to relate the underlying powerset and probabilistic distributions functors with the multiset functor by means of adequate natural transformations. This leads us to the general topic that we investigate in the pap...
متن کاملA Review of Recent Studies on Simulations for Flow around High-Speed Trains
Fluid flow around bluff bodies occurs in numerous fields of science and engineering, such as flows pass vehicles, cables, towers and bridges. These flows have been studied experimentally and numerically for the last several decades. The investigation of flow around high-speed trains is an important application of bluff bodies. Fluid flow, aerodynamic forces and moments, separation and wake regi...
متن کاملCFD Simulation of Gas-Solid Two-Phase Flow in Pneumatic Conveying of Wheat
Computational Fluid Dynamics (CFD) simulations of gas-solid flow through a positive low-pressure pneumatic conveyor were performed using Eulerian-Eulerian framework. Pressure drop in pneumatic conveying pipelines, creation and destruction of plugs along the horizontal and vertical pipes, effect of 90° elbows and U-bends on cross-section concentrations, and rope formation and dispersion were...
متن کاملComputation of the greatest simulations and bisimulations between fuzzy automata
Recently, two types of simulations (forward and backward simulations) and four types of bisimulations (forward, backward, forward-backward, andbackward-forwardbisimulations) between fuzzyautomatahavebeen introduced. If there is at least one simulation/bisimulation of some of these types between the given fuzzy automata, it has been proved that there is the greatest simulation/bisimulation of th...
متن کاملA General Framework for Probabilistic Characterizing Formulae
Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae of many non-probabilistic behavioral relations. Our paper studies their techniques in a probabilistic setting. We provide a general method for determining characteristic formulae of behavioral relations for probabilistic automat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007